sum_(n=1)^k n